additivity of X

2:X2